formal semantic definition
英 [ˈfɔːml sɪˈmæntɪk ˌdefɪˈnɪʃn]
美 [ˈfɔːrml sɪˈmæntɪk ˌdefɪˈnɪʃn]
【计】形式语义定义
双语例句
- With the advantages of formal semantic definition, visually graphical expression, firm mathematical foundation and description based on state, the Petri net is applied to model and optimize the workflow process more and more.
由于Petri网具有形式化的语义定义、直观的图形表达、严格的数学基础以及基于状态的描述等优点，被越来越广泛应用于工作流过程建模和流程优化。